Issue3188.agda:4,5-8
Set₁ != Set
when checking that the expression Set has type Set
